State machine interface that requires the ability to transition finite states.
Transition the machine.
Get the transition required to move to a given state.
Current state of the machine.
Transitions available to the current state.